Компьютерные термины - assertion
Assertion
assertion
формальное утверждение, описывающее семантические свойства элементов программного обеспечения; используется в выражающих их соглашениях ( contract ); precondition , postcondition , class invariant , loop invariant
Рейтинг статьи:
Вопрос-ответ:
Похожие слова
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 3327 | |
2 | 3146 | |
3 | 3000 | |
4 | 2860 | |
5 | 2704 | |
6 | 2697 | |
7 | 2551 | |
8 | 2234 | |
9 | 2086 | |
10 | 2085 | |
11 | 2050 | |
12 | 2044 | |
13 | 1990 | |
14 | 1897 | |
15 | 1837 | |
16 | 1836 | |
17 | 1765 | |
18 | 1757 | |
19 | 1756 | |
20 | 1750 |